progetto in logica combinatoria